[$e$, ${\it e'}$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter(($\lambda$${\it ev}$.es{-}ble\{i:l\}(${\it es}$;$e$;${\it ev}$)); append(before(${\it e'}$); cons(${\it e'}$; [])))